Hybrid Definability in Topological Spaces
نویسنده
چکیده
We present some results concerning definability of classes of topological spaces in hybrid languages. We use language Lt described in [9] to establish notion of “elementarity” for classes of topological spaces. We use it to prove the analogue of Goldblatt-Thomason theorem in topological spaces for hybrid languages H(E) and H(@). We also prove a theorem that allows to reformulate definability result of Gabelaia ([10]) for modal logic in terms of elementary topological space classes.
منابع مشابه
Modal languages for topology: Expressivity and definability
In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-Thomason definability theorem in terms of the well established first-order topological language Lt.
متن کاملCoincidence points and common fixed points for hybrid pair of mappings in b-metric spaces endowed with a graph
In this paper, we introduce the notion of strictly (α,ψ,ξ)-G-contractive mappings in b-metric spaces endowed with a graph G. We establish a sufficient condition for existence and uniqueness of points of coincidence and common fixed points for such mappings. Our results extend and unify many existing results in the literature. Finally, we construct some examples to analyze and support our results.
متن کاملSome Results on Modal Axiomatization and Definability for Topological Spaces
We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize exactly which of these classes are modall...
متن کاملLOCAL BASES WITH STRATIFIED STRUCTURE IN $I$-TOPOLOGICAL VECTOR SPACES
In this paper, the concept of {sl local base with stratifiedstructure} in $I$-topological vector spaces is introduced. Weprove that every $I$-topological vector space has a balanced localbase with stratified structure. Furthermore, a newcharacterization of $I$-topological vector spaces by means of thelocal base with stratified structure is given.
متن کامل$L$-Topological Spaces
By substituting the usual notion of open sets in a topological space $X$ with a suitable collection of maps from $X$ to a frame $L$, we introduce the notion of L-topological spaces. Then, we proceed to study the classical notions and properties of usual topological spaces to the newly defined mathematical notion. Our emphasis would be concentrated on the well understood classical connectedness...
متن کامل